Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
511	The Complexity of Flow Analysis in Higher-Order Languages David Van Horn The Complexity of Flow Analysis in Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2009-08-14 14:13:52 Models of computation Notation Programming language Lambda calculus Control flow analysis Algorithm International Conference on Functional Programming Functional programming Computational complexity theory Theoretical computer science Applied mathematics Computer science
512	Regular graphs and the spectra of two-variable logic with counting Eryk Kopczy´ nski∗ Tony Tan† Add to Reading List Source URL: alpha.uhasselt.be Language: English - Date: 2014-07-02 10:40:42 Model theory Formal languages Metalogic First-order logic Interpretation Witness Function Presburger arithmetic Well-formed formula Logic Mathematics Mathematical logic
513	January 5, 2009 — Submitted — 15 pages paper + 24 pages appendix Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic Lutz Straßburger ´ Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-03-02 09:38:29 Sequent calculus Entailment Ω-consistent theory Sequent Cut-elimination theorem First-order logic Structure Linear logic Natural deduction Logic Mathematical logic Proof theory
514	The University of Calgary Department of Philosophy Philosophy 279L05 LOGIC I Winter 2004 — Richard Zach Add to Reading List Source URL: ucalgary.ca Language: English - Date: 2008-10-27 16:48:33 Science Predicate logic Semantics Boolean algebra Valuation First-order logic Interpretation Tutorial Homework Logic Mathematical logic Model theory
515	From Monadic Second-Order Definable String Transformations to Transducers Rajeev Alur Antoine Durand-Gasselin Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-04-29 12:28:54 Theoretical computer science Models of computation Combinatorics on words Logic Finite state transducer Semigroup theory String Model theory Regular language Formal languages Automata theory Mathematics
516	technische universiteit eindhoven 2IL05 Data Structures Exam Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2009-09-02 08:05:52 Sorting algorithms Search algorithms Analysis of algorithms Data structures Merge sort Heap Hash function Insertion sort Hash table Mathematics Order theory Theoretical computer science
517	F# Succinct, Expressive, Functional The F# Team Microsoft Developer Division Microsoft Research Add to Reading List Source URL: www.erlang-factory.com Language: English - Date: 2011-09-19 06:17:30 Mathematical notation Tuple Type theory Function Fold Mathematics Higher-order functions Data management
518	PHYSICAL REVIEW D 68, 014013 共2003兲 Next-to-next-to-leading order prediction for the photon-to-pion transition form factor B. Melic´* Institut fu¨r Physik, Universita¨t Mainz, DMainz, Germany and Institut Add to Reading List Source URL: fulir.irb.hr Language: English - Date: 2013-05-20 05:49:42 Renormalization group Mathematical physics Quantum electrodynamics Conformal symmetry Conformal geometry Anomalous scaling dimension Renormalization Conformal map Conformal anomaly Physics Quantum field theory Conformal field theory
519	Algorithms, Spring 2014, CSE, OSU Lecture 2: Sorting Instructor: Anastasios Sidiropoulos January 10, 2014 Add to Reading List Source URL: web.cse.ohio-state.edu Language: English - Date: 2014-01-09 20:35:41 Combinatorics Heap Binary tree Tree Algorithm Heapsort Binary heap Sorting algorithms Order theory Mathematics
520	Lloyd Fell, David Russell & Alan Stewart (eds) Seized by Agreement, Swamped by Understanding Constructivism and Collaborative Enterprises A contribution to a conversation about Add to Reading List Source URL: www.pnc.com.au Language: English - Date: 2010-03-31 02:09:44 Education Systems theory Educational psychology Constructivist epistemology Social constructionism Social epistemology Second-order cybernetics Qualitative research Cybernetics Science Knowledge Constructivism

UPDATE